1. Tools and Algorithms for the Construction and Analysis of Systems
Author: \ Christel Baier, Cesare Tinelli (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA76
.
9
.
T33
2010
E-Book
,
2. Tools and Algorithms for the Construction and Analysis of Systems
Author: / Christel Baier, Cesare Tinelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
